properly including set

[数] 真包含集